17.76/18.71	unsat
