19.45/20.65	unsat
