18.63/18.71	unsat
