13.26/13.60	unsat
