18.69/18.71	unsat
