5.67/7.56	unsat
