11.77/12.58	unsat
