5.20/7.97	unsat
