5.21/6.97	unsat
