5.24/7.67	unsat
