18.36/21.76	unsat
