46.45/48.72	unsat
