18.66/19.45	unsat
