5.71/7.03	unsat
