5.09/6.52	unsat
