20.54/20.67	unsat
