1011.17/1012.60	unsat
