5.68/7.03	unsat
