8.47/13.67	unsat
