6.69/7.03	unsat
