4.88/7.39	unsat
