8.18/11.78	unsat
