3.47/4.43	unsat
