19.45/20.07	unsat
