187.84/188.03	unsat
