481.54/705.60	unsat
