703.67/705.14	unsat
