3.94/6.43	unsat
