18.27/22.76	unsat
