6.98/11.57	unsat
