176.80/177.67	unsat
