19.31/19.45	unsat
