11.88/14.67	unsat
