13.67/15.71	unsat
