19.45/20.72	unsat
