18.25/19.45	unsat
