5.48/7.98	unsat
