11.34/13.77	unsat
