21.66/21.76	unsat
