11.92/12.24	unsat
