703.17/705.27	unsat
