5.97/8.15	unsat
