11.77/12.77	unsat
