18.74/19.45	unsat
