20.64/20.74	unsat
