11.96/15.84	unsat
