45.43/49.52	unsat
