187.06/190.06	unsat
