1.30/2.60	unsat
