5.49/6.16	unsat
