18.46/19.71	unsat
