20.25/20.71	unsat
