14.09/16.71	unsat
