5.97/6.16	unsat
