187.26/190.76	unsat
