11.58/12.65	unsat
