8.98/10.94	unsat
