13.47/13.67	unsat
