5.97/8.47	unsat
