6.56/7.47	unsat
