4.43/5.07	unsat
