20.34/20.72	unsat
