4.77/7.28	unsat
