13.74/15.71	unsat
