12.77/15.67	unsat
