4.77/6.16	unsat
