11.77/12.83	unsat
