19.36/19.45	unsat
